reuse/namedef_scope_02.re:20:11: error: name `x` is already defined
